<?php
echo 12345,"\n";
echo 012350,"\n";
echo 0o12_350,"\n";
echo 0x2F,"\n";
echo 0b101_1,"\n";
echo 0b1010_10_1_1,"\n";